Quantization causes waves: Smooth finitely computable functions are affine
نویسنده
چکیده
Given an automaton (a letter-to-letter transducer) A whose input and output alphabets are Fp = {0, 1, . . . , p − 1}, one visualizes word transformations performed by A by a point set P(A) of real plane R2 as follows: To an m-letter non-empty word v = γm−1γm−2 . . . γ0 over the alphabet A put into the correspondence a rational number 0.v whose basep expansion is 0.γm−1γm−2 . . . γ0; then to every m-letter input word w = αm−1αm−2 · · ·α0 of the automaton A and to the respective m-letter output word a(w) = βm−1βm−2 · · · β0 (rightmost letters are feeded to/outputted from the automaton prior to leftmost ones) there corresponds a point (0.w; 0.a(w)) of the real unit square [0, 1]2; denote P(A) a closure (in the topology of R2) of the point set (0.w; 0.a(w)) where w ranges over the set W of all non-empty words over the alphabet Fp. For a finite-state automaton A, it is shown that once some points of P(A) constitute a smooth (of a class C2) curve in R2, the curve is a segment of a straight line with a rational slope; and there are only finitely many straight lines whose segments are in P(A). Moreover, when identifying P(A) with a subset of a 2-dimensional torus T2 ⊂ R3 (under a natural mapping of the real unit square [0, 1]2 onto T2) the smooth curves from P(A) constitute a collection of torus windings. In cylindrical coordinates either of the windings can be ascribed to a complex-valued function ψ(x) = ei(Ax−2πB(t)) (x ∈ R) for suitable rational A,B(t). Since ψ(x) is a standard expression for a matter wave in quantum theory (where B(t) = tB(t0)), and since transducers can be regarded as a mathematical formalization for causal discrete systems, the main result of the paper might serve as a mathematical reasoning why wave phenomena are inherent in quantum systems: This is because of causality principle and the discreteness of matter.
منابع مشابه
Smooth and palindromic Schubert varieties in affine Grassmannians
We completely determine the smooth and palindromic Schubert varieties in affine Grassmannians, in all Lie types. We show that an affine Schubert variety is smooth if and only if it is a closed parabolic orbit. In particular, there are only finitely many smooth affine Schubert varieties in a given Lie type. An affine Schubert variety is palindromic if and only if it is a closed parabolic orbit, ...
متن کاملA pr 2 00 5 Generators and defining relations for the ring of differential operators on a smooth affine algebraic variety
For the ring of differential operators on a smooth affine algebraic variety X over a field of characteristic zero a finite set of algebra generators and a finite set of defining relations are found explicitly. As a consequence, a finite set of generators and a finite set of defining relations are given for the module DerK(O(X)) of derivations on the algebra O(X) of regular functions on the vari...
متن کاملCharacterizing Global Minimizers of the Difference of Two Positive Valued Affine Increasing and Co-radiant Functions
Many optimization problems can be reduced to a problem with an increasing and co-radiant objective function by a suitable transformation of variables. Functions, which are increasing and co-radiant, have found many applications in microeconomic analysis. In this paper, the abstract convexity of positive valued affine increasing and co-radiant (ICR) functions are discussed. Moreover, the ...
متن کاملCongestion Redux
In this paper we analyze a class of second-order traffic models and show that these models support stable oscillatory traveling waves typical of the waves observed on a congested roadway. The basic model has trivial or constant solutions where cars are uniformly spaced and travel at a constant equilibrium velocity that is determined by the car spacing. The stable traveling waves arise because t...
متن کاملTraffic Congestion - an Instability in a Hyperbolic System
In this paper we analyze a class of second order traffic models and show these models support stable oscillatory traveling waves typical of the waves observed on a congested roadway. The basic model has trivial or constant solutions where cars are uniformly spaced and travel at a constant equilibrium velocity that is determined by the car spacing. The stable traveling waves arise because there ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1502.01920 شماره
صفحات -
تاریخ انتشار 2015